Image Browsers: Taxonomy, Guidelines, and Informal Specifications

A Novel Method for Measuring, Regardless of Image Distortion and Lens Varying Specifications in Endoscopic Treatment of Vesicoureteral Reflux

A Taxonomy of Verification and Validation of Software Requirement and Specifications1

Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques for verification and validation of software requirement specifications are fundamentally important. This survey presents taxonomy of verification and validation of requirements and specifications that rep...

From Informal to Formal Specifications in UML

In this paper, we consider a way of bridging informal and formal specification. Most projects have a need for an informal description of the requirements of the system which all people involved can understand. At the same time, there is a need to make some of the requirements more formal. We present a way to relate informal requirements, in form of use cases, to more formal specifications, writ...

Reflections on Undo

Undo is seen as essential element of interactive systems. However, despite its prevalence users are often confused by its behaviour and developers often apply undo inconsistently within their systems. This report focuses on singleuser linear undo/redo systems It presents an abstract formal framework for modelling undo and related system extensions, a classification and taxonomy of undo and redo...

An Authoring Tool for Informal and Formal Requirements Specifications

We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-di...